Spike2 Tutorial: Channel Processes